-
1 finitary operation
The English-Russian dictionary general scientific > finitary operation
-
2 finitary operation
Большой англо-русский и русско-английский словарь > finitary operation
-
3 finitary operation
Математика: финитарная операция -
4 finitary operation
мат. -
5 finitary
финитарный, финитный - finitary event - finitary flow - finitary function - finitary game - finitary mapping - finitary matroid - finitary method - finitary operation - finitary problem - finitary proof - finitary spread - finitary validityБольшой англо-русский и русско-английский словарь > finitary
-
6 operation
1) действие2) операция3) оперирование4) процесс, ход5) работа, функционирование6) срабатывание7) управление8) эксплуатация•- hereditarily recursive operationoperation under VFR — авиац. визуальное самолётовождение
-
7 финитарная операция
Большой англо-русский и русско-английский словарь > финитарная операция
-
8 game
1) игра || играть•game in an extensive form — игра в развёрнутой форме, позиционная игра
game in a reduced form — игра в приведённой форме, приведённая игра
- almost unanimity game - coin matching game - coin tossing game - completely reduced game - constraint gamegame without constraints — игра без ограничений, свободная игра
- end game- fixed sample-size game - game of harmstrung squad car - game of heads or tails - game of odd man out - game of pure chance - game of pursuit and evasion - identification of friend and foe game - inherently unstable game - locally bounded game - locally finite game - machine played game - nonstrictly determined game - one-player game - strictly solvable game - termination game - two-person game - two-player game- war game- weighted majority game - zero-sum two-person game
См. также в других словарях:
Finitary — In mathematics or logic, a finitary operation is one, like those of arithmetic, that takes a finite number of input values to produce an output. An operation such as taking an integral of a function, in calculus, is defined in such a way as to… … Wikipedia
Operation (mathematics) — The general operation as explained on this page should not be confused with the more specific operators on vector spaces. For a notion in elementary mathematics, see arithmetic operation. In its simplest meaning in mathematics and logic, an… … Wikipedia
Operation theory — In logic and mathematics, a finitary operation ω is a function of the form ω : X1 × … × Xk → Y. The sets Xj are the called the domains of the operation, the set Y is called the codomain of the operation, and the fixed non negative integer k… … Wikipedia
Boolean algebras canonically defined — Boolean algebras have been formally defined variously as a kind of lattice and as a kind of ring. This article presents them more neutrally but equally formally as simply the models of the equational theory of two values, and observes the… … Wikipedia
Closed-form expression — Closed formula redirects here. For closed formula in the sense of a logic formula with no free variables, see Sentence (mathematical logic). In mathematics, an expression is said to be a closed form expression if it can be expressed analytically… … Wikipedia
Closure operator — In mathematics, a closure operator on a set S is a function cl: P(S) → P(S) from the power set of S to itself which satisfies the following conditions for all sets X,Y ⊆ S. X ⊆ cl(X) (cl is extensive) X ⊆ Y implies cl(X) ⊆ cl(Y) (cl… … Wikipedia
Variety (universal algebra) — This article is about a class of algebraic structures of the same signature. For the set of solutions to a system of polynomial equations, see Algebraic variety. In mathematics, specifically universal algebra, a variety of algebras is the class… … Wikipedia
set theory — the branch of mathematics that deals with relations between sets. [1940 45] * * * Branch of mathematics that deals with the properties of sets. It is most valuable as applied to other areas of mathematics, which borrow from and adapt its… … Universalium
Free object — In mathematics, the idea of a free object is one of the basic concepts of abstract algebra. It is a part of universal algebra, in the sense that it relates to all types of algebraic structure (with finitary operations). It also has a clean… … Wikipedia
History of the Church-Turing thesis — This article is an extension of the history of the Church Turing thesis.The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… … Wikipedia
Brouwer-Hilbert controversy — A foundational controversy in twentieth century history of mathematics opposed L. E. J. Brouwer, a supporter of intuitionism, and David Hilbert, the founder of formalism.BackgroundThe background for the controversy was set with David Hilbert s… … Wikipedia